An inequality for probability density functions arising from a distinguishability problem
نویسندگان
چکیده
منابع مشابه
A Verified Compiler for Probability Density Functions
Bhat et al. [1] developed an inductive compiler that computes density functions for probability spaces described by programs in a probabilistic functional language. In this work, we implement such a compiler for a modified version of this language within the theorem prover Isabelle and give a formal proof of its soundness w.r.t. the semantics of the source and target language. Together with Isa...
متن کاملVelocity Probability Density Functions from Altimetry
Probability density functions (pdfs) are employed to evaluate the distribution of velocities in the global ocean. This study computes pdfs of ocean surface velocity using altimetric data from the TOPEX/Poseidon satellite. Results show that the shape of the observed pdfs changes with the size of the domain over which they are calculated: if data are drawn from a small region of the ocean, the pd...
متن کاملBelief functions induced by multimodal probability density functions, an application to the search and rescue problem
Abstract. In this paper, we propose a new method to generate a continuous belief functions from a multimodal probability distribution function defined over a continuous domain. We generalize Smets’ approach in the sense that focal elements of the resulting continuous belief function can be disjoint sets of the extended real space of dimension n. We then derive the continuous belief function fro...
متن کاملImplicit Scene Reconstruction from Probability Density Functions
A technique is presented for representing linear features as probability density functions in 2D or 3D affine space. Two chief advantages of this approach are (1) a unified representation and algebra for manipulating points, lines, and planes, and (2) seamless incorporation of uncertainty information. Applications to Euclidean and non-metric scene reconstruction are presented, with results on i...
متن کاملStationary probability density functions: An exact result
An exact expression is obtained for the probability density function (pdf) of any quantity measured in a general stationary process, in terms of conditional expectations of time derivatives of the signal. This expression indicates that the conditional expectations of both the time derivative squared and of the second time derivative influence the shape of the pdf, including its tails. A previou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Australian Mathematical Society. Series B. Applied Mathematics
سال: 1998
ISSN: 0334-2700,1839-4078
DOI: 10.1017/s0334270000009449